Prawo Pitagorasa /kwadrat przeciwprostokątnej jest równy sumie kwadratów obu przyprostokątnych/
Zdaniem Huma są dwa przedmioty badania:
stosunki między ideami,
fakty.
Przykład pierwszego rodzaju stanowi cała matematyka. Np. twierdzenie, że kwadrat przeciwprostokątnej jest równy sumie kwadratów obu przyprostokątnych, ustala pewien stosunek między ideami. Takie twierdzenie umysł znajduje niezależnie od doświadczenia, jest ono niezależne od istnienia czegokolwiek na świecie, bo choćby nigdzie w przyrodzie nie było trójkątów, to twierdzenie to, zachowałoby swoją pewność i oczywistość.
